﻿

namespace GaurTest
{
    using System;
    using System.Text;
    using System.Collections.Generic;
    using System.Linq;
    using Microsoft.VisualStudio.TestTools.UnitTesting;
    using Gaur;

    class State : IState
    {
        #region IState Members

        public IState Clone()
        {
            return new State();
        }

        #endregion
    }

    /// <summary>
    /// Summary description for Fa
    /// </summary>
    [TestClass]
    public class Fa
    {
        public Fa()
        {
            //
            // TODO: Add constructor logic here
            //
        }

        private TestContext testContextInstance;

        /// <summary>
        ///Gets or sets the test context which provides
        ///information about and functionality for the current test run.
        ///</summary>
        public TestContext TestContext
        {
            get
            {
                return testContextInstance;
            }
            set
            {
                testContextInstance = value;
            }
        }

        #region Additional test attributes
        //
        // You can use the following additional attributes as you write your tests:
        //
        // Use ClassInitialize to run code before running the first test in the class
        // [ClassInitialize()]
        // public static void MyClassInitialize(TestContext testContext) { }
        //
        // Use ClassCleanup to run code after all tests in a class have run
        // [ClassCleanup()]
        // public static void MyClassCleanup() { }
        //
        // Use TestInitialize to run code before running each test 
        // [TestInitialize()]
        // public void MyTestInitialize() { }
        //
        // Use TestCleanup to run code after each test has run
        // [TestCleanup()]
        // public void MyTestCleanup() { }
        //
        #endregion

        [TestMethod]
        public void TestNewState()
        {
            State state = new State();
            Gaur.Fa dfa = new Gaur.Fa();

            int s1 = dfa.NewState(state);
            int s2 = dfa.NewState(state);
            int s3 = dfa.NewState(state);

            Assert.AreEqual(s1, 1);
            Assert.AreEqual(s2, 2);
            Assert.AreEqual(s3, 3);

            dfa.AddTrans(s1, 'a', s2);

            Assert.AreEqual(dfa.Trans[s1][s2], new Set<char>('a'));

        }
    }
}
